what are executable comments in mysql and where are they used.