3D Systems opens up the world of ceramics with sub-$10k CeraJet 3D printer