Mint: a User-Friendly C-to-CUDA Code Translator