olive oil mashed potatoes