Mashed Potatoes with Mushroom Sauce