Community Structure in Industrial SAT Instances