ScanTailor – Interactive post-processing tool for scanned pages