Optimal control of freeway systems based on a linearized prediction model