Verified Relative Safety Margins for Neural Network Twins