Discrete time model predictive controller design for voltage control of an islanded microgrid