How many cnc lathes are in the US?