Improving TCP Performance Using P4-Programmable Data Planes