A comprehensive, consistent and systematic mathematical model of PEM fuel cells