what is non dedicated server ark