mysql optimization: don't quote integers as strings in WHERE