irna mining of rock phosphate