Here’s how pro traders could use Bitcoin options to buy the $20K BTC dip