Pebble stock investors settle a lawsuit with mine developer for $6.4 million