Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming