Regularity of the value function and viscosity solutions in optimal stopping problems for general Markov processes