how much does indonesia spend on military