is an extraction solvent used in mining limestone