An Automatic Workflow for Formalization of Scholarly Articles' Structural and Semantic Elements