Modelling and analysis of traffic queue dynamics at signalized intersections