A web-based tool for annotating and querying digitally transcribed historical texts