Brazil’s federal tax agency strike disrupts government revenue plans, with 15 billion reais in tax