Full-scale test of disc cutter rotary cutting in TBM tunnelling: a case study of Mawan granite in Shenzhen, China | Synapse