Learning Mixed-Integer Linear Programs from Contextual Examples