Exploratory Optimal Stopping: A Singular Control Formulation