Text this: Optimization techniques and their applications to mine systems /