Bioinformatics-based identification and experimental validation of biomarkers in pulmonary arterial hypertension | Synapse