BitMEX to shut down after 11-year run that reshaped crypto derivatives trading