Analysis of solid state, solid oxide electrolyte based direct carbon fuel cells