Update: Thanks, Tony! It's a bit of a kludge, but it mostly works. The only problem is that at the point of login, sometimes the network adapter hasn't connected yet, and the command times out. I've created a shortcut to the batch file on the user's desktop in case of this.

BTW, I had to change the command slightly to the following:

NET USE \\computer\share /U:domain\user password /persistent:yes