72 vdc power supply