Automatic design of boolean networks for cell differentiation