Saudi Aramco’s trading debut to make Saudi bourse the world’s ninth-biggest