Does revenue discounted to cash basis at initial recognition need to be subsequently measured for changes in market interest rates for interest-free credit sales transactions?