Translation of "Homotopy Type Theory" book on russian