The use of computer-assisted auctions for allocating tradeable pollution permits