ETHZilla turns to real estate tokenization, reaching a $4.7 million housing loan agreement