Length of electrified railway lines by type of current