Falsification of Cyber-Physical Systems using Bayesian Optimization