history of mining industry of phosphate in indonesia