A multi-objective decision model for investment in energy savings and emission reductions in coal mining