Mathematica implementation of massive spinor-helicity formalism