Value Function and Optimal Rule on the Optimal Stopping Problem for Continuous-Time Markov Processes (Chinese Journal of Mathematics, 2017)