Artificial intelligence and big data for facility management: main use cases and applications