Trump joined Ronnie O’Sullivan and John Higgins as the only men to make 1,000 career centuries in his quarter-final defeat to Mark Allen