101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem