Efficient Software Defined Radio Implementations of GNSS Receivers