Least‐present‐value‐of‐revenue auctions and highway franchising