Patrolling, flag marches, social media monitoring: Delhi Police on high alert ahead of Eid ul-Azha