User Response in Ad Auctions: An MDP Formulation of Long-Term Revenue Optimization