Basic distributions (Normal and Mixture) on Lie groups implemented in Sophus