Purism launches Librem Mini Linux desktop computer for $699 and up