Samsung launches ArtPC: A compact, premium desktop PC for $1200 and up