An approximate GSPN model for the accurate performance analysis of correlated TCP connections