Theoretical filtering of RLT bound-factor constraints for solving polynomial programming problems to global optimality