What are some open problems in commutative algebra that might help to prove that the elementary theory of finite commutative rings with unit is decidable?