Platform-Specific Optimization and Mapping of Stencil Codes through Refinement