Modelling and simulation of traffic lights on road intersections