history of mining of iron and phosphates