dictionary definitions for "mines"