How to Design GPS/GNSS Receivers