Integral geometry and geometric probability