Windows batch file that allows you to run any command (or a number of included processes) as administrator