Integrating renewable energy sources into electricity markets: Power system operation, resource adequacy and market design