DocLayNet: A Large Human-Annotated Dataset for Document-Layout Segmentation