System Design and Optimal Operation for a Hybrid System of a Solid Oxide Fuel Cell and an Internal Combustion Engine Using Spark-assisted Ignition