Mining boom in Russia: demand for machines triples after legalization