Constraint-based simulation of biological systems described by Molecular Interaction Maps