Optimization-Based Analysis of Decarbonization Pathways and Flexibility Requirements in Highly Renewable Power Systems