Exact Verification of ReLU Neural Control Barrier Functions