Mashed Potatoes with Garlic and Olive Oil