why are the popOS/system76 laptops so expensive