BitMEX to shut down in September after 11-year derivatives run