MC3: a steady-state Model and Constraint Consistency Checker for biochemical networks