Prices and the Allocation of Computer Time