Design of water-gas shift reactors