Olive Oil–Whipped Garlicky Mashed Potatoes