mysql workbench has encountered a problem windows 10