Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems