Integral geometry about the visual angle of a convex set