Mining (MDPI,, 2021)