¿Cuántos ingenieros industriales hay?