Machine Learning in GNSS Multipath/NLOS Mitigation: Review and Benchmark