Multi-GNSS processing, positioning and applications. Issue 1 (2nd January 2020)