What Is OCR and Why Does Your Scanned PDF Need It?