U.S. GPO Names Chief Technology Officer