Quantas linhas tem o metrô de Salvador?