Introduction to many-body localization