Erdheim–Chester disease presenting as malignant exophthalmos