Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities