Mixed-Integer Programming for Change-point Detection