mysql configuration to be table name case insensitive