PDF extraction, relies on pdfminer