El capitan vs sierra battery life