Qual a quantidade de operadores de instalações e máquinas e montadores em Salvador?