Market Design for the Future Electricity Grid: Modeling Tools and Investment Case Studies