STF determina aplicação de regras do RGPS na conversão de tempo especial para aposentadoria de servidora federal