Histology of proximal tubal occlusion