User-Generated Content and Editors in Video Games: Survey and Vision | IEEE Conference Publication | IEEE Xplore