Leibniz-type rule of variable-order fractional derivative and application to build Lie symmetry framework