Neural Program Repair with Execution-based Backpropagation