In paper 'Deep Reinforcement Learning for Sponsored Search Real-time Bidding', the authors mention that another paper construct a Markov Decision Process (MDP) for budget optimization in SS. You've read that paper. Provide the full name of that paper.