Algorithm-Based Fault Tolerance for Fail-Stop Failures