Military applications of GPS