how long to pressure cook mushrooms