Coal mining industry in the philippines