Technology and performance during the Renaissance : the musical world of Leonardo da Vinci /