UK probes IBM’s $6.4B HashiCorp acquisition