Smart Parking management in a Smart City: costs and benefits