tungsten ore mining and processing