Braid Theory