A tool to extract data from PDFs