Patrolling along China border increased significantly after 2020 Galwan clash, data show