Algebraic Models of Simple Type Theories: A Polynomial Approach