The Ziff–Gulari–Barshad model, model in chemical physics for the catalytic oxidation of carbon monoxide