Can we run multiple instance of SpiceDB and with external DB will it keep the instances in sync ? Just want to know if spiceDB is stateless?