Virtualizing domain controllers