différents types de roches minières