Just in time for the death of the PC industry, Xiaomi launches a laptop