Introduction to inverse semigroups