world biggest granite mine wiki