ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra