Constraint Programming and NMR Constraints for Determining Protein Structure