mining and mineral industries