Como averbar tempo de serviço militar para aposentadoria?