HMO penetration and the geographic mobility of practicing physicians