State-Constrained Stochastic Optimal Control Problems via Reachability Approach