Analysis Of High-Occupancy-Toll Lane Operation