is manganese a hard rock mining ore