Modelling Supported Driving as an Optimal Control Cycle: Framework and Model Characteristics