BUT WHAT IS mining, REALLY?