How is a pulmonary embolism diagnosed?