Helsingin metron automatisoinnin historia ja perustelut