South Africa’s Marco Jansen took 7-13, resulting in Sri Lanka being dismissed for a record