history of iron ore mining in kelantan