EmbNum: Semantic labeling for numerical values with deep metric learning