Refining Control Barrier Functions through Hamilton-Jacobi Reachability