Mathematica implementation of massive Spinor-Helicity formalism