Quantitative assessment of ground deformations for the risk management of petroleum and gas pipelines using radar interferometry. Issue 1 (1st January 2020)