Thermodynamic and experimental studies of catalytic reforming of exhaust gas recirculation in gasoline engines