Mathematical modelling and computer simulation of industrial water–gas shift converters