vSphere upgrade saga: Upgrading vCenter Operations Manager