Introduction to braid groups