has anyone done an analysis on how much big tech revenue comes from the DoD, particularly as its changed over time?