Best-Controlled Traffic