The Theory of Concatenation over Finite Models