Processing of PDFs into Digital Publications