Automatic Segmentation of Symbolic Music Encodings: A Survey