Dallas' public safety math: Too few cops, steep overtime cos