Probabilistic Segmentation of Musical Sequences using Restricted Boltzmann Machines