Key Market Mechanisms for Cross-Regional Tradings in the Electricity Market: Insights From Theory and Real-World Implementations.