A Methodology for Translating C-Programs to OpenCL