Accelerating a Cloud-Based Software GNSS Receiver