Smart City Construction and Management by Digital Twins and BIM Big Data in COVID-19 Scenario