Traffic Congestion Control by PDE Backstepping