Exact Hamiltonian Monte Carlo Sampler for Binary Distributions