Example of smart contract for real estate and how real money arrive in seller pocket ?