BOiLS: Bayesian Optimisation for Logic Synthesis