The development of the tin mining industry of Malaya