Batch: adding a time stamp to file names

I'd like to add time stamp to file names like this:

file1.txt -> file1%timestamp%.txt
file2.txt -> file2%timestamp%.txt

How do I do it so that timestamp doesn't come after .txt extension?

Thanks!