Safety Barrier Certificates for Stochastic Hybrid Systems