The role of micronutrients in high-yielding dairy ruminants: Choline and vitamin E