How long do sliced mushrooms take to boil?