Mashed Potatoes with Mushrooms and Leeks