This was an interesting read. Can anyone recommend any other Spanner literature that dives more into the design and data model?