Non-perturbative renormalization of static-light four-fermion operators in quenched lattice QCD