Computing the Newton polytope of the discriminant from the fiber polytope. Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2 