A Formalization of Relative Local Tempo Variations in Collections of Performances