Saudi royal order reshuffles leadership over Industry and Mineral Resources Ministry, military industries