PetroChina is world’s top company