mushroom and-potato-gratin