application of mathematics in satellite navigation