indonesian coal mining safety and health regulation