Dating the India–Eurasia collision through arc magmatic records