Decision Systems Seminar: Real-Time Pricing of Managed Lanes with Refund Option