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