Introduction to Koszul duality