Rightly choosing the vSphere HA cluster size