Mucus has evolved at least 15 times in mammals