Optimisation and GPU code generation of Stencils for Futhark