what machines are used to mine tungsten