How Madrid built its metro cheaply