Blockchain-Enabled Carbon and Energy Trading for Network-Constrained Coal Mines With Uncertainties | Synapse