Música e matemática: quantas canções podem ser escritas usando 12 notas?