Railway electrification and power supply