Correction propagation for user-assisted optical coherence tomography segmentation: general framework and application to Bruch’s membrane segmentation