Algorithm-based recovery for iterative methods without checkpointing