Один день Ивана Денисовича, смысл названия