Bitcoin miner revenue drops 9.4% after network difficulty hits new high