How GPS uses Trigonometry