Global positioning system : theory and applications