Text this: Using out-of-core techniques to produce exact solutions to the maximum clique problem on extremely large graphs