[batch-file] How can I check the size of a file in a Windows batch script?