Zubov’s method for controlled diffusions with state constraints