Identification of hybrid systems via mixed-integer programming