On the Use of Machine Learning Algorithms to Improve GNSS Products