CBOE to introduce mini-SPX options with PM settlement on 5 November