Protein Loop Modeling via Constraints and Fragment Assembly