Optimal Control of Autonomous Vehicles for Traffic Smoothing