patco : the first modern metro line in north america