How Are Vehicle Prices Set at Online Auto Auctions?