how options are traded