Design, control and modelling of piezoelectric transformer-based resonant power supplies