GNSS best integer equivariant estimation using multivariant t-distribution: a case study for precise point positioning