Improving the Performance of TCP over Coded Wireless Networks