A microstructure-oriented mathematical model of a direct internal reforming solid oxide fuel cell