Carrier multipath mitigation in linear combinations of Global Navigation Satellite Systems measurements