snippet for MySQL Workbench