Number of non-Irish nationals doubles in a decade