Analysis of validated error bounds of surface-to-surface intersection