where are european options traded high frequency trading strategy