A Mathematical Model for Quantifying System Evolvability Using Excess and Modularity