Potato and Mushroom Gratin