Simulations and modeling of planar amperometric oxygen sensors