Hard rocks from Himalaya raise flood risk for millions