MariNER: A Dataset for Historical Brazilian Portuguese Named Entity Recognition