Automatic semantic header generator for PDF documents