Mean activity coefficient