Recurrent loss of HMGCS2 shows that ketogenesis is not essential for the evolution of large mammalian brains