A national railway system that extends throughout the country and into Spain, is supported and administered by Comboios de Portugal. How long is the amount of railway lines that are electrified