SampleFix: Learning to Correct Programs by Sampling Diverse Fixes