U.S. Army bringing in big tech executives as lieutenant colonels