How Drivers Spend Their Time At A Red Light