Bayesian Optimization with Formal Safety Guarantees via Online Conformal Prediction