Finite-set model-based predictive control for flying-capacitor converters: cost function design and efficient FPGA implementation