Local leaders say they’ll pay $5.6 billion to automate Metro But a regional sales tax proposal to foot the bill doesn’t have enough support, D.C. lawmaker says.