How many shares does Petrobras have: The definitive learn for Brazilian investors in 2025