Survey on Middlebox modeling and troubleshooting