Faithful Embeddings for Knowledge Base Queries