Resolving freeway jam waves by discrete first-order model-based predictive control of variable speed limits