A mixed integer linear formulation for microgrid economic scheduling