COMTOP: Protein Residue–Residue Contact Prediction through Mixed Integer Linear Optimization