Complexity bounds in elimination theory—a survey