Sherman, Pentagon’s tech leader, to leave post for Texas A&M