Engineering an Exact Pseudo-Boolean Model Counter