How Madrid built its metro cheaply (2024)