The ANTAREX domain specific language for high performance computing