NSX Cloud: The Power of Combining Policy and Availability