Saturable Inductor Modelling in GaN FETs Based Synchronous Buck Converter