Caterpillar and Minetec announce agreement to develop underground hard rock mining technology