Constraint Programming in Structural Bioinformatics