Development and comparison of choice models and tolling schemes for high-occupancy/toll (HOT) facilities