High Performance Stencil Code Generation with Lift