Delhi opts for digital mapping system to monitor school infra