Logical modelling and analysis of cellular regulatory networks with GINsim 3.0