High Integrity GNSS Navigation and Safe Separation Distance to Support Local-Area UAV Networks