N-FUELS and SOPRANO: Educational Tools for Simulation, Analysis and Processing of Satellite Navigation Signals