First Linux-based 3D printers hit the market