Railway transport - length of electrified lines, by type of current