Building trades in Catalonia during the modern era. The case of immigration to Girona city