Optimal Transactive Energy Management in Microgrids