Water–gas shift modeling in coal gasification in an entrained-flow gasifier. Part 1: Development of methodology and model calibration