Extracting Windows system information with the wmi_info() function