Estimation Techniques and Mitigation Tools for Ionospheric effects on GNSS Receivers