PAC Nearest Neighbor Queries: Approximate and Controlled Search in High-Dimensional and Metric Spaces