Text this: A proximity-based measure of industrial clustering