Identifying Smart City Leaders and Followers with Machine Learning