VELOC: Very Low Overhead Checkpointing System