Predicting protein contact map using evolutionary and physical constraints by integer programming | Synapse