Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models