Computational Analysis of Nonnegative Polynomial Systems