Managed CockroachDB launches as a geo-distributed database-as-a-service