‘Super elastic’ springs used in world-first baby surgery