Modeling and control of exhaust recompression HCCI using variable valve actuation and fuel injection