What about spanner specifically benefits from random ids over sequential ones?