The actual and estimated size of the global petroleum gas market from 2021 to 2030 (in billion U.S. dollars).