Brazil markets tank as Bolsonaro shakes up Petrobras to cut energy costs