IoT and Big Data Analytics for Smart Cities