Digital cities : technologies, experiences, and future perspectives