Text this: Separating Regular Languages with First-Order Logic