mathematical music theory