Introduction to singularities in positive characteristic