Research Event Data, Digitization and Automation: Pathway to Economic and Resource Efficiency in Mining?