High-Integrity Local-Area Differential GNSS Architectures Optimized to Support Unmanned Aerial Vehicles (UAVs)