Text this: Compromise solutions in mining method selection - case study in colombian coal mining