Approximate finite-dimensional filtering for polynominal states over polynomial observations