Since nobody has answered, a few things to think about. Yep mining transformers with multi tap voltages are available. Autotransformers are often used. So says my pal Napo who worked in New Mexico mining ops. With a 12 KV primary makes it a little more difficult. Just a quick calc says you will need one big arse transformer. Just the 480 is more than 3000 kva.
Do it yourself KVA= volts X amperes X 1.732 /1000
Do it yourself KVA= volts X amperes X 1.732 /1000