https://challenai.github.io/paper/spanner/