Rigorous bounds on survival times in circular accelerators and efficient computation of fringe-field transfer maps