Commvault executives sold $9.4 million in stock after 31% crash