NYSE hit with $9 million SEC penalty over 2023 market disruption