DC Metro needs $15.5B to keep trains running, officials say