history of coal mining in malaysia