卤猪蹄要多长时间（用高压锅卤猪蹄要多长时间）