Semantic Proximity Search on Heterogeneous Graph by Proximity Embedding