Topology of Digital Images: Visual Pattern Discovery in Proximity Spaces