Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems