Design and Validation of Digital Channels for a Galileo Receiver Prototype