Is there a better way than using mysql_fetch_array()?