Models and data for PDF layout analysis, heading detection and formula recognition from PDFluent.