Lava-resistant ceramics discovered by computer predictions :