Synthesis of GPU Programs from High-Level Models