Reachability and synchronization of hierarchical Boolean control networks