Optimal Design of Carbon Dioxide Dry Reformer for Suppressing Coke Formation