TCP Libra: Derivation, Analysis and Comparison with Other RTT-Fair TCPs