How Professional Crypto Traders Think About Position Sizing