Use of ring-closing metathesis to form trans-fused macrocyclic bis(hydantoins): synthesis and theory