用高压锅炖牛肉需要炖多长时间