Modeling solid oxide fuel cell operation: Approaches, techniques and results