BitMEX Fires a Quarter of its Workforce