Hard-rock mining