PixLabeler: User Interface for Pixel-Level Labeling of Elements in Document Images