edit stored procedure in mysql workbench