hephaestus: Automating service-provider network troubleshooting using Python