Statistics for History of aggregate mining in Lesotho, 1967-2022