navigation signal processing for gnss software receivers