Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0