An integrated computer model for simulating electrothermomechanical interactions of an exhaust oxygen sensor