AT&T builds $23M IPv6 network for U.S. military