The audit4cloud platform for auditing the networking performance of public clouds