Traffic congestion detection using VANET