mining industry of malaysia coal