Learning Weighted Top-$k$ Support Vector Machine