AI facilitates implementation of dynamic zero-COVID policy in Shenzhen