Mixed-integer bilinear and piecewise-linear models for designing switching strategies of multilevel power converters. (July 2019)