The first mining encyclopedia was translated into Uzbek and published