what is washer? what are different types of washers?