Home office no serviço público gerou economia de R$ 1 bilhão em 5 meses, diz governo federal