underground mine, development system, integer programming
