Knowledge-Guided Bayesian Support Vector Machine Methods For High-Dimensional Data