Magmahöhlentiefe