Microsoft says it will no longer use engineers in China for Department of Defense work