Out of personal curiosity, what information is actually in a zed_token? I'm inferring that they're vector clocks, but the docs don't say. I'm not going to try to parse any, since it's clearly private scope to SpiceDB. Just curious for my own understanding and mental model.