Qual a quantidade de trabalhadores qualificados, operários e artesãos da construção, das artes mecânicas e outros ofícios em Salvador?