"Higher amalgamation and definable groupoids" (after Hrushovski and Goodrick-Kolesnikov)