HOT Lanes with a Refund Option and Potential Application of Connected Vehicles