Smartphones, laptops or desktop computers: Which devices do experienced crypto traders prefer to trade on?