Soaring US ‘defense’ budget helped drive world military spending to 10-year high in 2019