WMIMon: Tool to monitor WMI activity on Windows