Proportions and Their Music: What Fractions and Tone Sequences Have to Do with Each Other