A trilevel programming model for the coordination of wholesale and local distribution markets considering GENCOs and proactive customers | Publicación