Non-Axiomatizability of Finite Structures by First-Order Theories