Saturated formations closed under Sylow normalizers