Digitally controlled power supply