High-throughput screening of catalytically active inclusion bodies using laboratory automation and Bayesian optimization | Synapse