STraceBERT: Source Code Retrieval using Semantic Application Traces