mining processing of dimensional stone