Fault detection and exclusion using solution separation and chi-squared ARAIM | Synapse