A 0-1 mixed integer programming model for farm machinery selection and crop planning