Stabilization of discrete-time systems with stochastic sampling