Bi-level model for integrated energy service providers in joint electricity and carbon P2P market. (20th March 2023)