stirred mill used in mining in philippines