Stacking sequence optimization for OHC strength of laminated composite by tabu search using the Bayesian surrogate model in the lamination parameter space | Synapse