Branch-and-Bound Algorithm for Cyclopeptide Sequencing