A semantic-based deep learning approach for mathematical expression retrieval