Reduction of Boolean network models