ORKG-Leaderboards: A Systematic Workflow for Mining Leaderboards as a Knowledge Graph