SEC Chair Gary Gensler tees up changes to how the stock market operates