Accelerated exploration of heterogeneous CO₂ hydrogenation catalysts by Bayesian-optimized high-throughput and automated experimentation