Red Hat to Acquire CoreOS