Search through PDF files with PHP