A dynamic traffic light management system based on wireless sensor networks for the reduction of the red-light running phenomenon