Efficient Design of Electricity Market Clearing Mechanisms with Increasing Levels of Renewable Generation and Carbon Price