KT leverages big data to inform real-time population congestion.