Hamiltonian Support Vector Machine: A Novel Active Learning Method with Deep Local Search for Reliab