Thema: A Software Framework For The Quantitative Study Of Compositional Process