Theoretical model of congestion control in VANET networks