Modular control of Boolean network models