history of tin mining in malaya