Allocatively Efficient Quantity Monopoly