Samsung NC10 will be available in the US for about $480