Dissecting a Tanzu Kubernetes Cluster Spec with the TKG Service for vSphere