When Should There Be Vertical Choice in Health Insurance Markets?