Global mining needs $6 trillion over next decade, Saudi minister says