Operational Benefits and Design Approaches for Combining JTIDS and GPS Navigation