Combined GPS+BDS instantaneous single- and dual-frequency RTK positioning: stochastic modelling and performance assessment. Issue 1 (2nd January 2021)