Derivation of Closed Form of Expected Improvement for Gaussian Process Trained on Log-Transformed Objective