Texas wants to spend $1.5 billion to expand its border wall | How much wall will that buy?