Modelling Prioritized Broadcasting in Multi-Channel Vehicular Networks