Functions of Number Theory in Music