Text this: On Knowledge Compilation For Two-Variable First-Order Logic