PET: An Annotated Dataset for Process Extraction from Natural Language Text