Mean and variance of the arc length of a Gaussian process on a finite interval