Guidance, Navigation, and Separation Assurance for Local-Area UAV Networks: Putting the Pieces Together