A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository