Reference governors for systems with polynomial constraints: theory and extensions