On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols