kTrans: Knowledge-Aware Transformer for Binary Code Embedding