Music theory and mathematics