[mysql] With MySQL, how can I generate a column containing the record index in a table?