Technological Change and the Demand for Currency: An Analysis With Household Data