Форма горных инженеров в Российской Империи: традиции и история