Residual Pulmonary Vascular Obstruction Index Computed With Ventilation/Perfusion SPECT/CT Imaging to Predict the Risk of Venous Thromboembolism Recurrence in Patients With Pulmonary Embolism (PRONOSPECT) | MicrobiomeTrials