Mobilidade demográfica numa cidade portuária. A Matriz da Horta entre os séculos XVIII e XX