The UK's military shrank dramatically after WWII. Is this primarily because of the loss of revenue from their lost overseas colonies?