Modelling dysplasia detection in ulcerative colitis: clinical implications of surveillance intensity