Design of BDS-3 integrity monitoring and preliminary analysis of its performance. Issue 4 (15th February 2020)