Red Hat acquires CoreOS to strengthen its leadership position