'Motivic integration' (after Hrushovski and Kazhdan)