Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach.