Impedance model of a solid oxide fuel cell for degradation diagnosis