Intrinsic geometry of convex surfaces