pension fund deficit Petrobras