Automated traffic law enforcement