OPM names new CIO just as it begins initiative to modernize electronic personnel file