Text this: Algorithms for extracting subsystems from a multilevel representation of a system of Boolean functions for joint minimization