Introduction to Smart Contracts