Иван Денисович - биография персонажа, повесть "Один день Ивана ...