Geological information in shield tunnelling: exploration, estimation, prediction, and perspectives