Smart Contracts: Types, Benefits, and Tools