A Control-Oriented Model for Trajectory-Based HCCI Combustion Control