Rheumatic heart disease among adults in a mining community of Papua , Indonesia : fi ndings from an occupational cohort