Distance between two skew lines