On the recursive equivalence to Smith form of multivariate polynomial matrices