Qual a quantidade de membros das forças armadas, policiais e bombeiros militares em Salvador?