Where do industrial machinery mechanics work?