Evaluation and Comparison of Different Methods of Ionospheric Delay Mitigation for Future Galileo Mass Market Receivers