Price Clustering After the Introduction of Bitcoin Futures