Exact solution approaches for the discrete $\alpha$-neighbor $p$-center problem