BitMEX notifies users that it is shutting down operations after an 11-year run