Saudi Arabia formally starts IPO of state-run oil firm