Atiyah-Singer index theory