cornish tin mining history in malaysia