TCP Libra: Derivation, analysis, and comparison with other RTT-fair TCPs