Hello World: Meet CockroachDB, the Resilient SQL Database