Mixed Integer Programming Models for Shale Gas Development