Integral geometry for random plane convex sets