Greatest common factor of two multivariate monomials