introduction to mining industry in malaysia