Optimized energy and air quality management of shared smart buildings in the covid-19 scenario