Where do machinists work?