Introduction to bicategories