Tin: its mining, production, technology, and applications