July by the numbers: A look at crypto exchange volumes, open interest, and miner revenue