Learning and Visualizing Music Specifications Using Pattern Graphs