Statistics for HOT or Not: Driver Elasticity to Price on the MnPASS HOT Lanes