Mining, materials, and the sustainable development goals (SDGs)[electronic resource] :2030 and beyond