Theory and Application of GNSS