Dissecting metabolic flux in C4 plants: experimental and theoretical approaches