Source shot noise mitigation in focused ion beam microscopy by time-resolved measurement.