Domain-Specific Code Transformations for Computational Science based on the Polyhedral Model