Automatic Design of Boolean Networks for Modelling Cell Differentiation