A mathematical model of melt/water detonations