Dell Inspiron Mini 12 now available in the US