Music and musicians in the Escorial liturgy under the Habsburgs, 1563-1700