Expect script which can execute commands on multiple servers via SSH