On the Ando–Li–Mathias mean and the Karcher mean of positive definite matrices