Length of railway lines equipped with the railway traffic management system (ERTMS)