how much does saudi arabia spend on military