Optimization-based modeling methods for reliable low carbon electricity portfolios