Steady-state model of a zirconia oxygen sensor in a simple gas mixture