A compositional modelling and analysis framework for stochastic hybrid systems