Distributed optimization for joint peer‐to‐peer electricity and carbon trading among multi‐energy microgrids considering renewable generation uncertainty | Synapse