Nonlinear Constraint-Based Modeling Of The Function And Evolution Of C4 Photosynthesis