Bayesian signal processing techniques for GNSS receivers: from multipath mitigation to positioning | Publicación