Constructing a classification of hypersensitivity/allergic diseases for ICD‐11 by crowdsourcing the allergist community