Servidor federal que atua em fronteira deve receber adicional de penosidade