Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems