Target tracking with binary proximity sensors: fundamental limits, minimal descriptions, and algorithms