Cutting a Banksy stencil with a laser cutter