Next-to-leading order renormalization of the ΔB = 2 operators in the static theory