methods of extracting minerals from mines