Smart city and IoT resilience, survivability, and disruption tolerance: Challenges, modelling, and a survey of research opportunities.