Gromov–Witten theory