A novel engineering approach to modelling and optimizing smoking cessation interventions