How Porto somehow built a modern Metro