international dictionary for mineral processing engineer