Benchmarking PDF parsers