Martingale Approach to Stochastic Control with Discretionary Stopping