The real-world network troubleshooting manual: Tools, techniques and scenarios