The Mathematics of Piano Tuning