Minimal resolutions and the homology of matching and chessboard complexes Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2 