Classifying land use within 80,000 mining sites on a global scale | Synapse