Benchmarking geant4 nuclear models for light fragments of 80.5 MeV/u carbon ions bombarding heavy-metal targets