Budget includes earmarked funds to support VA's transition to federal electronic health record system