Renormalization of high-energy Lorentz-violating four-fermion models