Building Smart Cities: Analytics, ICT, and Design Thinking