Cockroach Labs introduces Managed CockroachDB, its geo-distributed database as a service