Nottingham is an English city with a secret: inhabitants have been digging caves here for 1700 years. More than 500 have been found – and a new project is revealing their secrets.