The Long-run Development Impacts of Agricultural Productivity Gains: Evidence from Irrigation Canals in India ∗