Modelling of an indirect internal reforming solid oxide fuel cell