Meet Vaughn Noga, the EPA's new chief information officer