Riyadh’s 2019 budget allocates $51 billion for military