Describir: A two-stage peer-to-peer energy trading model for distribution systems with participation of utility