A Lumped Dynamic Modelling Approach for Model-Based Control and Diagnosis of Solid Oxide Fuel Cell System with Anode Off-Gas Recycling