What are some recommendations for a relatively high performance laptop that works well on linux, and without paying windoze tax?