What is always true at the quantity where a firm's average total cost equals average revenue?