Aposentadoria especial de servidores policiais: a contagem do tempo de serviço militar