Positive predictive value of the ICD-10 hospital diagnosis of pleural empyema in the Danish National Registry of Patients