How many IPs are required when deploying a highly available NSX Management Cluster with VIP in a production environment?