Electricity and hydrogen from solid fuels : a study of carbon fuel cell systems