Formal encounter at Brics summit is leaders’ first in five years and follows deal on patrols along disputed border