coal mining for production in malaysia