Digital Time-Optimal Phase Shedding in Multiphase Buck Converters