Microgrid Optimal Power Flow Based On Generalized Benders Decomposition