Saudi Aramco becomes world's most valuable public company