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