Spectral phase matching for highly efficient frequency tripling of short-pulse KrF laser radiation in argon