A Truthful (2-2/k)-Approximation Mechanism for the Steiner Tree Problem with k Terminals