Shorting Bitcoin: How It Works and Where in 2024