Benchmark of three-dimensional numerical models of 1 subduction against a laboratory experiment I 2