Tutankhamun’s gold mask restored after botched repair