What does the power intverter in a power supply do?