Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm