Freeway operations and high-occupancy vehicle systems (Transportation research record, 1993)