Challenges in Computational Commutative Algebra