polynomial definition