How GPS finds position