braised pork leg with mushroom