High-frequency trading in the stock market and the costs of options market making - BizPub.ai