Why the Mining University was named after an opponent of Lenin