Which component of BAI uses checkpoints and savepoints?