while loop in mysql stored procedure example