Syntax for changing column size in mysql