Quantitative modeling of streamer discharge branching in air