Video Data Analytics for Smart City Applications: Methods and Trends