Efficient estimation and closed-form uncertainty quantification for net benefit of algorithms that predict individualized treatment benefit | Synapse