Abandoned Object Detection via Temporal Consistency Modeling and Back-Tracing Verification for Visual Surveillance